Logical Programming in C